On the Complexity of Determinizing Monitors
نویسندگان
چکیده
We examine the determinization of monitors. We demonstrate that every monitor is equivalent to a deterministic one, which is at most doubly exponential in size with respect to the original monitor. When monitors are described as CCS-like processes, this doubly-exponential bound is optimal. When (deterministic) monitors are described as finite automata (as their LTS), then they can be exponentially more succinct than their CCS process form.
منابع مشابه
Determinizing Monitors for HML with Recursion
We examine the determinization of monitors for HML with recursion. We demonstrate that every monitor is equivalent to a deterministic one, which is at most doubly exponential in size with respect to the original monitor. When monitors are described as CCS-like processes, this doubly exponential bound is optimal. When (deterministic) monitors are described as finite automata (as their LTS), then...
متن کاملElectromagnetic Radiofrequency Radiation Emitted from GSM Mobile Phones Decreases the Accuracy of Home Blood Glucose Monitors
Mobile phones are two-way radios that emit electromagnetic radiation in microwave range. As the number of mobile phone users has reached 6 billion, the bioeffects of exposure to mobile phone radiation and mobile phone electromagnetic interference with electronic equipment have received more attention, globally. As self-monitoring of blood glucose can be a beneficial part of diabetes control, ho...
متن کاملLow cost air quality monitors to evaluate nanosized particulate matter. A pilot study
Particulate matter is defined as a mixture of airborne solid particles and liquid droplets that can be inhaled and may cause serious health problems. Such elements are currently measured utilizing air quality monitoring devices that provide information on PM 10 and PM 2.5 levels giving information on pollution levels. However, many difficulties are encountered in the determination of nanosized ...
متن کاملPower Quality Monitor Placement Using a Tri-level Approach
Finding minimum number of connecting lines is as important as locating power quality monitors (PQMs) for full observability of power system. Therefore, a PQM placement method should determine both optimum buses and lines, since utilities can make better decisions for monitoring of power system with this information. This paper attempted to propose a new method to locate the PQMs at various unob...
متن کاملبررسی شرایط ارگونومیکی کار با نمایشگرهای تصویری و ارتباط آن با احساس خستگی در دانشجویان تحصیلات تکمیلی دانشگاه علوم پزشکی همدان
Background: The use of visual monitors especially in relation to computer can cause health effects which have negative impacts on mental and physical performance of users. This study aims to determine the relation between ergonomic conditions in use of visual monitors and subjective feeling of fatigue in master science students as permanent users. Methods: In this study, 40 students in the Ham...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017